1. Abstract state machines: a method for high-level system design and analysis
پدیدآورنده : Borger, E.)Egon(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، System design,، Computer software-- Development,، Embedded computer systems
رده :
QA
76
.
9
.
S88
.
B66
2003
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
2. Computability, complexity, logic
پدیدآورنده : Borger, E.)Egon(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computable functions,، Computational complexity,، Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
B6713
1989
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)